Nuprl Lemma : es-V_wf 11,40

es:event_system{i:l}. es-V(es IdIdType 
latex


Definitionst  T, es-V(es), x:A  B(x), event_system{i:l}, x:AB(x), Id, Type, x:AB(x)
Lemmasevent system wf

origin